Results for 'J. F. Cremer'

957 found
Order:
  1.  43
    Implementing Mathematics with the Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
  2.  4
    Implementing Mathematics with The Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki & S. F. Smith - 1985 - Prentice-Hall.
  3.  99
    R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
  4.  59
    Pairs of recursive structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
  5. Three Philosophers: Aristotle, Aquinas, Frege.C. J. F. Williams, G. E. M. Anscombe & P. T. Geach - 1963 - Philosophical Quarterly 13 (52):270.
  6. How Far Can a Mādhyamika Buddhist Reform Conventional Truth? Dismal Relativism, Fictionalism, Easy-Easy Truth, and the Alternatives.T. J. F. Tillemans - 2011 - In Georges Dreyfus, Bronwyn Finnigan, Jay Garfield, Guy Newland, Graham Priest, Mark Siderits, Koji Tanaka, Sonam Thakchoe, Tom Tillemans & Jan Westerhoff, Moonshadows. Conventional Truth in Buddhist Philosophy. Oxford University Press. pp. 151--165.
  7. Meaning-Making in an Atheist World.William J. F. Keenan & Tatjana Schnell - 2011 - Archive for the Psychology of Religion 33 (1):55-78.
    This article explores atheist meaning-making by employing a multidimensional model of meaning operationalized by the Sources of Meaning and Meaning in Life Questionnaire. When compared to a representative sample of “religionists” and “nones”, atheists show lower degrees of meaningfulness, but they do not suffer from crises of meaning more frequently. However, subsequent cluster analysis reveals that heterogeneity within atheism has to be taken into account. Three types of atheists are identified. ‘Low-commitment’ atheists are characterised by generally low commitment; they report (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  35
    Possible degrees in recursive copies II.C. J. Ash & J. F. Knight - 1997 - Annals of Pure and Applied Logic 87 (2):151-165.
    We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  32
    Ramified systems.C. J. Ash & J. F. Knight - 1994 - Annals of Pure and Applied Logic 70 (3):205-221.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  15
    Rediscovering the Theological in Sociology.William J. F. Keenan - 2003 - Theory, Culture and Society 20 (1):19-42.
    Is sociology inherently a mode of secular materialism? Or, are there intellectual resources deep within the sociological tradition, expansively conceived, that offer the sociological imagination a spiritual `post-secular' perspective on society and culture? This article draws out the subterranean theological stream of sociological consciousness and illuminates a `sacramentalist' socio-theology with particular reference to the `iconic vision' of Paul Evdokimov. In the context of late modernity, such a radical emphasis on the sacred foundations and transcendent potentialities of life provides the possibility (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  32
    Possible degrees in recursive copies.C. J. Ash & J. F. Knight - 1995 - Annals of Pure and Applied Logic 75 (3):215-221.
    Let be a recursive structure, and let R be a recursive relation on . Harizanov isolated a syntactical condition which is necessary and sufficient for to have recursive copies in which the image of R is r.e. of arbitrary r.e. degree. We had conjectured that a certain extension of Harizanov's syntactical condition would be necessary and sufficient for to have recursive copies in which the image of R is ∑α0 of arbitrary ∑α0 degree, but this is not the case. Here (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12. Neither Confounding the Persons nor Dividing the Substance.C. J. F. Williams - 1994 - In Richard Swinburne & Alan G. Padgett, Reason and the Christian religion: essays in honour of Richard Swinburne. New York: Oxford University Press. pp. 227--243.
     
    Export citation  
     
    Bookmark   6 citations  
  13.  40
    Academics and Intellectual Life in the Low Countries.Maarten J. F. M. Hoenen - 1994 - Recherches de Theologie Et Philosophie Medievales 61:173-209.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. (1 other version)Alain Guy, in memoriam.J. F. Ortega Muñoz - 1999 - Contrastes: Revista Internacional de Filosofía 4:5-7.
     
    Export citation  
     
    Bookmark  
  15. Attention switching vs attention sharing in searching dual RSVP streams.N. Prins & J. F. Juola - 1996 - In Enrique Villanueva, Perception. Ridgeview Pub. Co. pp. 72-72.
     
    Export citation  
     
    Bookmark  
  16. Where Does the Weirdness Go? and Time's Arrow and Archimedes' Point.J. F. Woodward - 1996 - Foundations of Physics 26:955-964.
     
    Export citation  
     
    Bookmark  
  17.  38
    A Second Collection: Papers by Bernard J.F. Lonergan, S.J.Bernard J. F. Lonergan - 1996 - University of Toronto Press.
    This collection of essays, addresses, and one interview come from the years 1966-73 and cover a wide spectrum of interest, dealing with such general topics as 'The Absence of God in Modern Culture' and 'The Future of Christianity.'.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  21
    Einsicht in “Insight”: Bernard J. F. Lonergans kritisch-realistische Wissenschafts- und Erkenntnistheorie.Philipp Fluri & Bernard J. F. Lonergan - 1988
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  44
    Is pride a prosocial emotion? Interpersonal effects of authentic and hubristic pride.Maarten J. J. Wubben, David De Cremer & Eric van Dijk - 2012 - Cognition and Emotion 26 (6):1084-1097.
  20. WL Benoit, D. Hample, and PJ Benoit (eds.), Readings in Argumentation.J. F. Klumpp - 1996 - Argumentation 10:142-145.
    No categories
     
    Export citation  
     
    Bookmark  
  21. Cross-language semantic priming-evidence for independent lexical and conceptual contributions.J. F. Kroll, A. Sholl, J. Altarriba, C. Luppino, L. Moynihan & C. Sanders - 1992 - Bulletin of the Psychonomic Society 30 (6):443-443.
  22.  46
    The myth of the hoplite's hoplon.J. F. Lazenby & David Whitehead - 1996 - Classical Quarterly 46 (01):27-.
    ‘Hoplites are troops who take their name from their shields’. ‘The individual infantryman took his name, hoplites, from the hoplon or shield’. Such is the orthodox view. This paper will endeavour to show that its basis is inadequate. Rather, we shall argue, hoplites took their name from their arms and armour as a whole, their hopla in that all-encompassing sense; so that the original and essential meaning of the word hoplite was nothing more than ‘armed man’.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  32
    De oecumenische opdracht Van de plaatselijke katholieke kerk.J. F. Lescrauwaet - 1967 - Bijdragen 28 (1):15-32.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  42
    AΓan and Λian in Attic.J. F. Lockwood - 1938 - The Classical Review 52 (01):7-8.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  25.  29
    Two Notes.J. F. Lockwood - 1937 - The Classical Review 51 (02):57-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  19
    Rules and commands.J. F. G. Loovann - 1958 - Mind 67 (268):514-521.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  51
    Essays After Wittgenstein.J. F. M. Hunter - 1973 - [Toronto]: University of Toronto Press.
  28.  42
    Some Quotations in the Liber Glossarvm.J. F. Mountford - 1921 - Classical Quarterly 15 (3-4):192-.
    In response to a suggestion in the Class. Rev. , the two MSS. of the Liber Glossarum preserved at Tours have recently been examined. Since they had not been seen by Goetz when he published his excerpts, the following short descriptions may be added to the introduction of Vol. V. of the Corpus Glossariorum Latinorum: 1. Tours, Bibliothèque de Ville, MS. No. 850; end of the ninth century; foll. 493, of which 1, 491, 492 are mere corners; cmm. 49 by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  29
    Three Words of Ennius.J. F. Mountford - 1929 - Classical Quarterly 23 (2):114-115.
    In Corp. Gloss. Lat. V. 435–490 Goetz published excerpts from the A A glossary. Further interesting items were published by C. Theander in Eranos XXIII 51–61, 167–176. The complete glossary is now being prepared for the press, and Professor W. M. Lindsay has kindly communicated to me some of the new items which may possibly contain quotations from classical authors. The most interesting of them is the following: MA 2 ‘Mabortia res quae ad pugnam pertinet unde moenia funduntur vel res (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30. Cohen L. J. and Lloyd A. C.. Assertion-statements. Analysis , vol. 15 no. 3 , pp. 66–70.J. F. Thomson - 1956 - Journal of Symbolic Logic 21 (1):82-83.
  31. Extraction of sil ymarin compounds from milk Thistle (silybum mar/anum) seed using hot liquid water as the Sol vent'.J. F. Alvarez Barreto - 2002 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 3.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  23
    The 'Codex Leidensis' of Livy.J. F. Dobson - 1910 - Classical Quarterly 4 (01):38-.
    For the purposes of the new text of Livy which Professor Conway and Professor C. F. Walters are preparing for the Oxford Series of Classical Texts, I undertook in 1908 to examine the Codex Leidensis, which contains Livy's first decade.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. John Rawls: le rationnel et le raisonnable.J. -F. Bacot - 1995 - Philosopher: revue pour tous 17:73-102.
     
    Export citation  
     
    Bookmark  
  34.  17
    An abstract mechanism for handling uncertainty.J. F. Baldwin & T. P. Martin - 1991 - In Bernadette Bouchon-Meunier, Ronald R. Yager & Lotfi A. Zadeh, Uncertainty in Knowledge Bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'90, Paris, France, July 2 - 6, 1990. Proceedings. Springer. pp. 126--135.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Knowled-ge representation.J. F. Baldwin, T. P. Martin & B. W. Pilsworth - 1998 - In Enrique H. Ruspini, Piero Patrone Bonissone & Witold Pedrycz, Handbook of fuzzy computation. Philadelphia: Institute of Physics.
     
    Export citation  
     
    Bookmark  
  36.  36
    The after-effect of the perception of curved lines.J. F. Bales & G. L. Follansbee - 1935 - Journal of Experimental Psychology 18 (4):499.
  37. (1 other version)On the Concepts of Endechy and Manipulation and Their Application to Information Theory.J. F. Schouten - 1953 - Synthese 9 (3):199-204.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Appearance and falsity: The dual nature of political order in the works of Pascal.J. F. Spitz - 1997 - Revue Internationale de Philosophie 51 (199):101-118.
     
    Export citation  
     
    Bookmark  
  39.  54
    Giovanni Maio (2002) Ethik der Forschung am Menschen. Zur Begründung der Moral in ihrer historischen Bedingtheit.: Reihe "Medizin und Philosophie", Band 6, Frommann-Holzboog, Stuttgart-Bad Cannstatt.J. F. Spittler - 2003 - Ethik in der Medizin 15 (1):63-64.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  17
    The Naturalistic Tradition in Indian Thought.J. F. S. - 1961 - Journal of the American Oriental Society 81 (4):459.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Der Anteil des Denkens an Empfindung und Bewusstsein.J. F. Thöne - 1909 - Philosophisches Jahrbuch 22:182-186.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  35
    Henderson G. P.. On a certain use of quotation marks. Philosophical studies , vol. 7 , pp. 24–29.J. F. Thomson - 1959 - Journal of Symbolic Logic 24 (3):266-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  41
    Kalish Donald. Logical form. Mind, n.s. vol. 61 pp. 57–71.J. F. Thomson - 1953 - Journal of Symbolic Logic 18 (1):88-89.
  44.  19
    Physicians’ Ethical Responsibilities under Co-Pay Insurance: Should Potential Fiscal Liability Become Part of Informed Consent?J. F. Turner, T. Mason, D. Anderson, A. Gulati & J. A. Sbarbaro - 1995 - Journal of Clinical Ethics 6 (1):68-72.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  51
    Michael Hardt et Antonio Negri : empire.J.-F. Nordmann - 2002 - Les Etudes Philosophiques 63 (4):549.
  46. Philippe Melanchthon et Jean Sturm, humanistes et pédagogues de la Réforme.J. -F. Collange - 1988 - Revue D'Histoire Et de Philosophie Religieuses 68 (1):5-18.
  47.  17
    A physiological-behavioristic description of thinking.J. F. Dashiell - 1925 - Psychological Review 32 (1):54-73.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  41
    The new psychological laboratory at North Carolina.J. F. Dashiell - 1930 - Journal of Experimental Psychology 13 (2):217.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  25
    Sophocles, Ajax 148-50.J. F. Davidson - 1984 - Mnemosyne 37 (3-4):438-440.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  21
    Tragic Daughter of Atlas?J. F. Davidson - 1992 - Mnemosyne 45 (3):367-371.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 957